Skip to content

docs: remove local miden-bank files (now ingested from miden-tutorials)#198

Open
Keinberger wants to merge 1 commit intomainfrom
kbg/docs/remove-local-miden-bank
Open

docs: remove local miden-bank files (now ingested from miden-tutorials)#198
Keinberger wants to merge 1 commit intomainfrom
kbg/docs/remove-local-miden-bank

Conversation

@Keinberger
Copy link
Collaborator

Summary

Removes the local miden-bank tutorial files from tutorials/rust-compiler/miden-bank/ since they are now ingested from miden-tutorials (#168). Without this, the next deploy would produce duplicate pages in the sidebar.

  • Deletes the 11 local miden-bank .md files
  • Updates CI clean steps in deploy-docs.yml and cut-versions.yml so the ingested content gets refreshed each build
  • Adds redirects for the old rust-compiler/miden-bank URLs
  • Updates internal links in smart-contracts/, testing, pitfalls, and the rust-compiler index to point to the new tutorials/miden-bank/ path

v0.13 versioned docs are untouched since the snapshot correctly references rust-compiler/miden-bank/.

Closes #197

@Keinberger Keinberger requested a review from BrianSeong99 March 9, 2026 14:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

docs: remove local miden-bank files (now ingested from miden-tutorials)

1 participant